Commitment: some formal interpretations
نویسندگان
چکیده
منابع مشابه
Distributed Revision of Belief Commitment in Multi-Hypothesis Interpretations
This paper extends the applications of belief-networks to include the revision of belief commitments, i.e., the categorical acceptance of a subset of hypotheses which, together, constitute the most satisfactory explanation of the evidence at hand. A coherent model of non-monotonic reasoning is established and distributed algorithms for belief revision are presented. We show that, in singly conn...
متن کاملTesting safety commitment in organizations through interpretations of safety artifacts.
PROBLEM Safety culture relates to injuries and safety incidents in organizations, but is difficult to asses and measure. We describe a preliminary test of assessing an organization's safety culture by examining employee interpretations of organizational safety artifacts (safety signs). METHOD We collected data in three organizations using a new safety culture assessment tool that we label the...
متن کاملA Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice, but no formal studies guarantee that the log information suffices to reconstruct past runs of the protocol, in order to reliably detect (and provide evidence of) any cheating. We formalize audit logs for a sample op...
متن کاملCommitment: A Challenge for Formal Methods
As an exploratory case study for the use of formal methods in cryptography, this paper considers the commitment primitive. Its reconstruction from an abstract informal characterisation explains most aspects of the usual commitment specifications, and demonstrates succinctly the inadequacy of the traditional formal methods “toolbox” in the context of modern cryptography. Additions to this toolbo...
متن کاملSome remarks on arbitrary multiple pattern interpretations
A word w is obtained by an arbitrary n-pattern interpretation of a word x if there are n homomorphisms h1, h2, . . . , hn and a positive integer k such that w = hi1(x)hi2 (x) · · ·hik (x) with 1 ≤ ij ≤ n for all 1 ≤ j ≤ k. This arbitrary multiple pattern interpretation of words is naturally extended to languages. We investigate some closure properties of the families of languages obtained by ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Disputatio
سال: 2012
ISSN: 0873-626X
DOI: 10.2478/disp-2012-0010